#ifndef RAW_INTERNAL_TYPE_H
#define RAW_INTERNAL_TYPE_H


/*
    Be very careful here, you can modyfy the following code, if only you understand what yor are doing!

 */  


typedef RAW_U32 RAW_TICK_TYPE;  /*32 bit or 64 bit unsigned value*/

#endif

